C. P. Engelfriet : rechercher sur Z-Library

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 867 KB

english, 1991

A Kleene characterization of computability

Information Processing Letters

Journal:

Année:

2007

Langue:

english

Fichier:

PDF, 86 KB

english, 2007

Choosing an Open Source License

Engelfriet, A.

Journal:

IEEE Software

Année:

2010

Langue:

english

Fichier:

PDF, 269 KB

english, 2010

Linear, Branching Time and Joint Closure Semantics for Temporal Logic

Joeri Engelfriet and Jan Treur

Journal:

Journal of Logic, Language and Information

Année:

2002

Langue:

english

Fichier:

PDF, 2.99 MB

english, 2002

You Only Die Once

Hoogenveen, Rudolf T, Boshuizen, Hendriek C, Engelfriet, Peter M, van Baal, Pieter HM

Journal:

Medical Decision Making

Année:

2016

Langue:

english

Fichier:

PDF, 421 KB

english, 2016

A compositional reasoning system for executing nonmonotonic theories of reasoning

J. Engelfriet, J. Treur

Journal:

International Journal of Intelligent Systems

Année:

2003

Langue:

english

Fichier:

PDF, 209 KB

english, 2003

Boundary graph grammars with dynamic edge relabeling

Joost Engelfriet, George Leih, Emo Welzl

Journal:

Bruno Courcelle, Joost Engelfriet, Grzegorz Rozenberg

Année:

1990

Langue:

english

Fichier:

PDF, 2.71 MB

english, 1990

Handle-rewriting hypergraph grammars

Journal:

Année:

1993

Langue:

english

Fichier:

PDF, 3.14 MB

english, 1993

Modular tree transducers

Journal:

Pieter H van Baal, Peter M Engelfriet, Rudolf T Hoogenveen, Marinus J Poos, Catharina van den Dungen, Hendriek C Boshuizen

Année:

1991

Langue:

english

Fichier:

PDF, 2.35 MB

english, 1991

Estimating and comparing incidence and prevalence of chronic diseases by combining GP registry data: the role of uncertainty

Journal:

BMC Public Health

Année:

2011

Langue:

english

Fichier:

PDF, 295 KB

english, 2011

Context-free hypergraph grammars have the same term-generating power as attribute grammars

Joost Engelfriet, Linda Heyker

Journal:

Acta Informatica

Année:

1992

Langue:

english

Fichier:

PDF, 2.68 MB

english, 1992

Occult hepatitis B infection in blood donors

H. W. Reesink, C. P. Engelfriet, G. Henn, W. R. Mayr, G. Delage, F. Bernier, T. Krusius, A. Assal, P. Gallian, C. Corbi, P. Morel, B. David, P. De Micco, H. Murokawa, H. Yugi, S. Hino, K. Tadokoro, Ø.

Journal:

Vox Sanguinis

Année:

2008

Langue:

english

Fichier:

PDF, 163 KB

english, 2008

Cord blood banking

A. Brand, P. Rebulla, C. P. Engelfriet, H. W. Reesink, Y. Beguin, E. Baudoux, G. Kögler, M. Ebrahimi, G. Grazzini, A. Nanni Costa, A. Bosi, N. Sacchi, L. Lombardini, S. Pupella, L. Lecchi, E. D. Calde

Journal:

Vox Sanguinis

Année:

2008

Langue:

english

Fichier:

PDF, 163 KB

english, 2008

Flying higher-together

Dave Del Canho, Joeri Engelfriet

Journal:

Business Strategy Review

Année:

2008

Langue:

english

Fichier:

PDF, 95 KB

english, 2008

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic

Joeri Engelfriet, Catholijn M. Jonker, Jan Treur

Journal:

Journal of Logic, Language and Information

Année:

2002

Langue:

english

Fichier:

PDF, 202 KB

english, 2002

A contribution to the discussion on a new international actuarial notation

J. Engelfriet, A. I. M. Kool

Journal:

Blätter der DGVFM

Année:

1973

Langue:

english

Fichier:

PDF, 1.82 MB

english, 1973

Iterated stack automata and complexity classes

Information and Computation

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 3.29 MB

english, 1991

Default logic and specification of nonmonotonic reasoning

Engelfriet, Joeri, Wiktor Marek, V., Treur, Jan, Truszczynski, Miroslaw

Journal:

Journal of Experimental & Theoretical Artificial Intelligence

Année:

2001

Langue:

english

Fichier:

PDF, 1.35 MB

english, 2001

[IEEE 19th Annual Symposium on Foundations of Computer Science (sfcs 1978) - Ann Arbor, MI, USA (1978.10.16-1978.10.18)] 19th Annual Symposium on Foundations of Computer Science (sfcs 1978) - Equality languages, fixed point languages and representations of recursively enumerable languages

Engelfriet, Joost, Rozenberg, Grzegorz

Année:

1978

Langue:

english

Fichier:

PDF, 571 KB

english, 1978

The Emperor's New Mathematics: Western Learning and Imperial Authority During the Kangxi Reign (1662–1722). By Catherine Jami. Oxford: Oxford University Press, 2011. xv, 436 pp. $135.00 (cloth).

Engelfriet, Peter

Journal:

The Journal of Asian Studies

Année:

2013

Langue:

english

Fichier:

PDF, 252 KB

english, 2013

Diffusion of innovations in health care: Does the structural context determine its direction?

Lambooij, Mattijs S., Engelfriet, Peter, Westert, Gert P.

Journal:

International Journal of Technology Assessment in Health Care

Année:

2010

Langue:

english

Fichier:

PDF, 109 KB

english, 2010

Fixed Point Languages, Equality Languages, and Representation of Recursively Enumerable Languages

Engelfriet, J., Rozenberg, G.

Journal:

Journal of the ACM

Année:

1980

Langue:

english

Fichier:

PDF, 1.30 MB

english, 1980

The Astronomia Europaea of Ferdinand Verbiest, S.J. (Dillingen, 1687)by Noël Golvers

Review by: Peter Engelfriet

Journal:

T oung Pao

Année:

1996

Langue:

english

Fichier:

PDF, 360 KB

english, 1996

The impact of urban form on commuting in large Chinese cities

Engelfriet, Lara, Koomen, Eric

Journal:

Transportation

Année:

2017

Langue:

english

Fichier:

PDF, 2.25 MB

english, 2017

Graph Structure and Monadic Second-Order Logic (A Language-Theoretic Approach) || Introduction

Courcelle, Bruno, Engelfriet, Joost

Année:

2012

Langue:

english

Fichier:

PDF, 160 KB

english, 2012

Graph Structure and Monadic Second-Order Logic (A Language-Theoretic Approach) || References

Courcelle, Bruno, Engelfriet, Joost

Année:

2012

Fichier:

PDF, 155 KB

2012

HLA-DRw4 in Felty's syndrome

H. J. Dinant, W. Hissink Muller, E. M. Den Van Berg-Loonen, L. E. Nijenhuis, C. P. Engelfriet

Journal:

Arthritis & Rheumatism

Année:

1980

Langue:

english

Fichier:

PDF, 60 KB

english, 1980

Domino Treewidth

Hans L. Bodlaender, Joost Engelfriet

Journal:

Journal of Algorithms

Année:

1997

Langue:

english

Fichier:

PDF, 486 KB

english, 1997

Finite Languages for the Representation of Finite Graphs

Andrzej Ehrenfeucht, Joost Engelfriet, Grzegorz Rozenberg

Journal:

Joost Engelfriet, Vincent van Oostrom

Année:

1996

Langue:

english

Fichier:

PDF, 538 KB

english, 1996

Regular Description of Context-free Graph Languages

Journal:

Joost Engelfriet, Vincent van Oostrom

Année:

1996

Langue:

english

Fichier:

PDF, 1.80 MB

english, 1996

Logical Description of Context-free Graph Languages

Journal:

Année:

1997

Langue:

english

Fichier:

PDF, 378 KB

english, 1997

The Equivalence of Bottom-Up and Top-Down Tree-to-Graph Transducers

Journal:

Roderick Bloem, Joost Engelfriet

Année:

1998

Langue:

english

Fichier:

PDF, 979 KB

english, 1998

A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars

Journal:

Joost Engelfriet, Sebastian Maneth

Année:

2000

Langue:

english

Fichier:

PDF, 547 KB

english, 2000

Output String Languages of Compositions of Deterministic Macro Tree Transducers

Journal:

JOERI ENGELFRIET, JAN TREUR

Année:

2002

Langue:

english

Fichier:

PDF, 376 KB

english, 2002

Executable Temporal Logic for Non-monotonic Reasoning

Journal:

Journal of Symbolic Computation

Année:

1996

Langue:

english

Fichier:

PDF, 454 KB

english, 1996

An elementary proof of double Greibach normal form

Information Processing Letters

Journal:

Année:

1992

Langue:

english

Fichier:

PDF, 193 KB

english, 1992

IO and OI. II

Joost Engelfriet, Erik Meineche Schmidt

Journal:

Joost Engelfriet, Grzegorz Rozenberg, Giora Slutzki

Année:

1978

Langue:

english

Fichier:

PDF, 2.20 MB

english, 1978

Tree transducers, L systems, and two-way machines

Journal:

Joost Engelfriet, Gilberto Filé

Année:

1980

Langue:

english

Fichier:

PDF, 3.71 MB

english, 1980

Simple multi-visit attribute grammars

Journal:

Joost Engelfriet, Sven Skyum

Année:

1982

Langue:

english

Fichier:

PDF, 1.92 MB

english, 1982

The copying power of one-state tree transducers

Journal:

A. Ehrenfeucht, J. Engelfriet, G. Rozenberg

Année:

1982

Langue:

english

Fichier:

PDF, 1.19 MB

english, 1982

Context Free Normal Systems and ETOL Systems

Journal:

Joost Engelfriet, Giora Slutzki

Année:

1983

Langue:

english

Fichier:

PDF, 855 KB

english, 1983

Extended macro grammars and stack controlled machines

Journal:

Année:

1984

Langue:

english

Fichier:

PDF, 2.95 MB

english, 1984

Hierarchies of hyper-AFLs

Journal:

Année:

1985

Langue:

english

Fichier:

PDF, 2.28 MB

english, 1985

Macro tree transducers

Journal:

Ijsbrand Jan Aalbersberg, Joost Engelfriet, Grzegorz Rozenberg

Année:

1985

Langue:

english

Fichier:

PDF, 4.31 MB

english, 1985

The complexity of regular DNLC graph languages

Journal:

Joost Engelfriet, Linda Heyker

Année:

1990

Langue:

english

Fichier:

PDF, 2.05 MB

english, 1990

The string generating power of context-free hypergraph grammars

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 1.92 MB

english, 1991

Surface tree languages and parallel derivation trees

Journal:

Année:

1976

Langue:

english

Fichier:

PDF, 2.44 MB

english, 1976

Iterating iterated substitution

Journal:

Année:

1977

Langue:

english

Fichier:

PDF, 2.29 MB

english, 1977

Determinancy → (observation equivalence = trace equivalence)

Journal:

Année:

1985

Langue:

english

Fichier:

PDF, 288 KB

english, 1985

Pushdown machines for the macro tree transducer

Journal: